The search for a reduction in combinatory logic equivalent to λβ-reduction, Part II
نویسندگان
چکیده
منابع مشابه
reduction. Part II.
Solution to the quantum constraints of four dimensional quantized gravity by dimensional reduction. Part II. Abstract In this paper we present a general solution to the quantum constraints of general relativity from the perspective of dimensional reduction , in complement to Part I. First we present the constraints in terms of the polar decomposition of the CDJ matrix, noting its attributes. In...
متن کاملreduction. Part II.
Solution to the quantum constraints of four dimensional quantized gravity by dimensional reduction. Part II. Abstract In this paper we present a general solution to the quantum constraints of general relativity from the perspective of dimensional reduction , in continuation from Part I. First we present the constraints in terms of the polar decomposition of the CDJ matrix, noting that some kine...
متن کاملthe search for the self in becketts theatre: waiting for godot and endgame
this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...
15 صفحه اولInfinitary Combinatory Reduction Systems
We define infinitary combinatory reduction systems (iCRSs). This provides the first extension of infinitary rewriting to higher-order rewriting. We lift two well-known results from infinitary term rewriting systems and infinitary λ-calculus to iCRSs: 1. every reduction sequence in a fully-extended left-linear iCRS is compressible to a reduction sequence of length at most ω, and 2. every complet...
متن کاملthe effect of consciousness raising (c-r) on the reduction of translational errors: a case study
در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2017
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2016.12.016